Mathematical software - PDFSEARCH.IO - Document Search Engine

Mathematical software
Results: 3985

#	Item
51	Sonic Partial Deduction Jonathan Martin and Michael Leuschel Declarative Systems and Software Engineering Group Technical Report DSSE-TR-99-3 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:04 Mathematics Logic Functions and mappings Mathematical logic Logic programming Automated theorem proving Append Functional programming Lisp Unfolding Substitution Atomic formula
52	fx-991EX A new high-performance scientific with high resolution display increasing the amount of information displayed and super-fast calculation speed for high-stakes testing or for performing the most advanced mathemat Add to Reading List Source URL: www.education.casio.com Language: English - Date: 2015-09-16 06:22:08 Office equipment Mathematical analysis Mathematics Software Graphing calculators Spreadsheet Calculator Pi Software calculator Complex number Casio graphic calculators Casio V.P.A.M. calculators
53	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
54	Sixth Central- and Eastern European Conference on Computer Algebra- and Dynamic Geometry Systems in Mathematics Education 7-10 September, 2016 Targu Mures, Romania Workshop Add to Reading List Source URL: cadgme.ms.sapientia.ro Language: English - Date: 2016-05-05 07:44:14 Publishing Typography Application software Macro programming languages Digital typography Donald Knuth Desktop publishing software TeX Typesetting Sapientia University Mathematical object Mathematics
55	Lexicographic Composition of Fuzzy Orderings Ulrich Bodenhofer Software Competence Center Hagenberg A-4232 Hagenberg, Austria Add to Reading List Source URL: www.bioinf.jku.at Language: English - Date: 2007-11-08 03:07:42 Fuzzy logic Logic Order theory Mathematical logic Abstraction Artificial intelligence Non-classical logic Fuzzy set T-norm Partially ordered set Fuzzy control system Path ordering
56	Postcapitalism: Our Choice Jamie Dobson, May 2016 www.container-solutions.com \| Our Changing Shapes Add to Reading List Source URL: gotocon.com Language: English - Date: 2016-06-16 11:16:25 Software Application software Mathematical software PostCapitalism: A Guide to our Future R
57	BOOKS ABOUT 10 WORD PROBLEMS ABOUT TRIGONOMETRY WITH SOLUTIONS Cityhalllosangeles.com 10 WORD PROBLEMS ABOUT ... Add to Reading List Source URL: 1.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:26:54 Mathematical analysis Software Mathematics Trigonometry Word problem Microsoft Word Pi
58	CS 224d: Assignment #3 Due date: :59 PM PST (You are allowed to use three (3) late days maximum for this assignment) This handout consists of several homework problems, as well as instructions on the “deliverabl Add to Reading List Source URL: cs224d.stanford.edu Language: English - Date: 2016-06-01 01:35:27 Computer programming Software engineering Computing Recursion Artificial neural network Computational neuroscience Mathematical psychology B-tree Tree Recurrent neural network
59	Technology Service Corporation an employee-owned company 1983 S. Liberty Drive, Bloomington, INPhone: ( Add to Reading List Source URL: www.tsc.com Language: English - Date: 2015-09-14 12:19:18 Software Mathematical software Numerical analysis Electronics manufacturing Cross-platform software LabVIEW Numerical software Software engineering Test engineer
60	Bryan Rainey · (Education Purdue University, West Lafayette, IN (May 2016) · B.S. in Computer Science Honors, B.S. in Mathematics, Minor in Economics · Concentration in Computational S Add to Reading List Source URL: web.ics.purdue.edu Language: English - Date: 2016-02-22 16:25:44 Software Application software Mathematical software Lafayette Indiana metropolitan area West Lafayette Indiana Purdue University V-12 Navy College Training Program Purdue MATLAB Lafayette Indiana